Divisible effect algebras and interval effect algebras

summary:It is shown that divisible effect algebras are in one-to-one correspondence with unit intervals in partially ordered rational vector spaces

Spectral resolutions in effect algebras

Effect algebras were introduced as an abstract algebraic model for Hilbert space effects representing quantum mechanical measurements. We study additional structures on an effect algebra $E$ that enable us to define spectrality and spectral resolutions for elements of $E$ akin to those of self-adjoint operators. These structures, called compression bases, are special families of maps on $E$, analogous to the set of compressions on operator algebras, order unit spaces or unital abelian groups. Elements of a compression base are in one-to-one correspondence with certain elements of $E$, called projections. An effect algebra is called spectral if it has a distinguished compression base with two special properties: the projection cover property (i.e., for every element $a$ in $E$ there is a smallest projection majorizing $a$), and the so-called b-comparability property, which is an analogue of general comparability in operator algebras or unital abelian groups. It is shown that in a spectral archimedean effect algebra $E$, every $a\in E$ admits a unique rational spectral resolution and its properties are studied. If in addition $E$ possesses a separating set of states, then every element $a\in E$ is determined by its spectral resolution. It is also proved that for some types of interval effect algebras (with RDP, archimedean divisible), spectrality of $E$ is equivalent to spectrality of its universal group and the corresponding rational spectral resolutions are the same. In particular, for convex archimedean effect algebras, spectral resolutions in $E$ are in agreement with spectral resolutions in the corresponding order unit space.Comment: 31 pages, accepted in Quantum, comments welcom

Orthomodular lattices with almost orthogonal sets of atoms

summary:The set $A$ of all atoms of an atomic orthomodular lattice is said to be almost ortho\-go\-nal if the set $\{b\in A:b\nleq a'\}$ is finite for every $a\in A$. It is said to be strongly almost ortho\-go\-nal if, for every $a\in A$, any sequence $b_1, b_2,\dots$ of atoms such that $a\nleq b'_1, b_1 \nleq b'_2, \dots$ contains at most finitely many distinct elements. We study the relation and consequences of these notions. We show among others that a complete atomic orthomodular lattice is a compact topological one if and only if the set of all its atoms is almost ortho\-go\-nal